type StartsWith<T extends string, U extends string> = T extends `${U}${infer V}`
  ? true
  : false;

type ddd = StartsWith<"abc", "ac">;

type ddddd = "s" extends "sV" ? true : false;
